Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report
نویسندگان
چکیده
We characterize the states of knowledge that are attainable in distributed systems, where communication is done by unreliable message exchange. The reason that certain states of knowledge are unattainable is a conservation principle which says that information about “nature” that can be obtained by combining all of the knowledge of the members of a closed system is preserved. We axiomatize the class of formulas in the propositional modal logic of knowledge that are valid in attainable knowledge states, and we determine the complexity of the decision problem. Appeared in Conference on Theoretical Aspects of Reasoning about Knowledge, ed. J. Y. Halpern, Morgan Kaufmann, 1986, pp. 187-206.
منابع مشابه
Evaluating the Effectiveness of Explicit and Implicit Form-Focused Instruction on Explicit and Implicit Knowledge of EFL Learners
Although explicit and implicit knowledge of language learners are essential to theoretical and pedagogical debates in second language acquisition (SLA), little research has addressed the effects of instructional interventions on the two knowledge types (R. Ellis, 2005).This study examined the relative effectiveness of explicit and implicit types of form-focused instruction (FFI) on the acquisit...
متن کاملImplicit and Explicit Instruction and EFL Learners’ Implicit Knowledge Development: Evidence from Word Monitoring Task
Research on the effect of implicit and explicit instruction on developing learners’ explicit knowledge by the use of measures of explicit knowledge abounds in the literature. However, measuring learners’ implicit knowledge employing fine-grained measures has rarely been the concern of researchers in the field. Therefore, the present study is an attempt to scrutinize the effectiveness of implici...
متن کاملThe Effects of Direct Corrective Feedback and Metalinguistic Explanation on EFL Learners’ Implicit and Explicit Knowledge of English Definite and Indefinite Articles
This study investigated the effects of two types of written feedback – direct corrective feedback (DCF) and metalinguistic explanation (ME) - on Iranian EFL learners’ implicit and explicit knowledge of English definite and indefinite articles. Assigned to three groups of DCF, ME, and control groups, the participants took four tests in three testing phases: pretest, posttest, and delayed posttes...
متن کاملThe Effects of Systemic-Theoretical Instruction on Developing Iranian EFL Learners’ Explicit and Implicit Knowledge of Tense-Aspect System
This study aimed to investigate the effects of Systemic Theoretical Instruction (STI), grounded in Socio-cultural Theory and proposed by Gal’perin, on developing Iranian EFL learners’ knowledge of English tense-aspect system. To this end, two low-intermediate classes, including 24 and 21 language learners aged between 12-19, were taught the distinction between simple past and present perfect te...
متن کاملStudy of Explicit Knowledge Effects on Implicit Motor Learning in Older Adults
Objective: The motor skill performance and learning in older adults are of a great importance. The primary purpose of this study was to determine whether older adult’s explicit knowledge effect on implicit learning and motor performance and which are typical for rehabilitation and skills acquired in older adults. Materials & Methods: In this comparative study a serial reaction time task by u...
متن کامل